THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC
نویسندگان
چکیده
منابع مشابه
The Expressivity of Factual Change in Dynamic Epistemic Logic
A commonly used dynamic epistemic logic is one obtained by adding common knowledge and public announcements to a basic epistemic logic. It is known from Kooi (2007) that adding public substitutions to such a logic adds expressivity over the class K of models. Here I show that substitutions also add expressivity over the classes KD45, S4 and S5 of models. Since the combination of common knowledg...
متن کاملDynamic Epistemic Logic II: Logics of Information Change
Dynamic epistemic logic, broadly conceived, is the study of logics of information change. Inference, communication and observation are typical examples of informative events which have been subjected to a logical analysis. This article will introduce and critically examine a number of different logical systems that have been used to reason about the knowledge and beliefs of a group of agents du...
متن کاملDynamic Epistemic Temporal Logic
We propose Dynamic Epistemic Temporal Logic, a dynamic-protocol framework that overcomes the Problem of Synchronicity in the popular Dynamic Epistemic Logic approach to reasoning about multi-agent belief change. Dynamic Epistemic Temporal Logic not only extends the domain of applicability of standard Dynamic Epistemic Logic, but it also clarifies how certain structural properties (such as synch...
متن کاملProbabilistic Dynamic Epistemic Logic
In this paper I combine the dynamic epistemic logic of Gerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The result is a new probabilistic dynamic epistemic logic, a logic for reasoning about probability, information, and information change that takes higher order information into account. Probabilistic epistemic models are defined, and a way to build them for applicati...
متن کاملDynamic Epistemic Logic
In this overview we tell you the story of the rise of dynamic epistemic logic. It is of course a bit presumptious to call it a rise, but we can only observe this rather peculiar phenomenon. The number of active researchers in these logics seem to grow strongly every year, possibly because there are so many relations to computer science, to multi-agent systems, to philosophy, and to cognitive sc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2013
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020313000324